1
Synthesis of Finite State Machines: Logic Optimization

Synthesis of Finite State Machines: Logic Optimization

Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)
সাল:
1997
ভাষা:
english
ফাইল:
PDF, 9.74 MB
5.0 / 5.0
english, 1997
2
The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)
সাল:
2012
ভাষা:
english
ফাইল:
PDF, 2.72 MB
0 / 0
english, 2012
3
Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings

Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings

Robert K. Brayton (auth.), Costas Courcoubetis (eds.)
সাল:
1993
ভাষা:
english
ফাইল:
DJVU, 5.05 MB
0 / 0
english, 1993
4
The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)
সাল:
2012
ভাষা:
english
ফাইল:
PDF, 4.83 MB
0 / 0
english, 2012
5
Synthesis of Finite State Machines: Functional Optimization

Synthesis of Finite State Machines: Functional Optimization

Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli (auth.)
সাল:
1997
ভাষা:
english
ফাইল:
PDF, 7.24 MB
5.0 / 5.0
english, 1997
6
Logic Synthesis for Field-Programmable Gate Arrays

Logic Synthesis for Field-Programmable Gate Arrays

Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)
সাল:
1995
ভাষা:
english
ফাইল:
PDF, 9.29 MB
0 / 0
english, 1995
7
Logic Minimization Algorithms for VLSI Synthesis

Logic Minimization Algorithms for VLSI Synthesis

Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli (auth.)
সাল:
1984
ভাষা:
english
ফাইল:
PDF, 6.32 MB
0 / 0
english, 1984
8
Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design

Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design

Fan Mo, Robert K. Brayton
সাল:
2004
ভাষা:
english
ফাইল:
PDF, 13.66 MB
0 / 0
english, 2004
9
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli (auth.)
সাল:
2001
ভাষা:
english
ফাইল:
PDF, 3.23 MB
0 / 0
english, 2001
10
Regular fabrics in deep sub-micron integrated-circuit design

Regular fabrics in deep sub-micron integrated-circuit design

Fan Mo, Robert King Brayton
সাল:
2004
ভাষা:
english
ফাইল:
PDF, 18.53 MB
0 / 0
english, 2004
11
Logic Synthesis and Optimization

Logic Synthesis and Optimization

Robert K. Brayton, Patrick C. McGeer (auth.), Tsutomu Sasao (eds.)
সাল:
1993
ভাষা:
english
ফাইল:
PDF, 21.13 MB
0 / 0
english, 1993
12
Advanced Techniques in Logic Synthesis, Optimizations and Applications

Advanced Techniques in Logic Synthesis, Optimizations and Applications

Victor Kravets, Alan Mishchenko, Smita Krishnasamy, Nilesh Modi, Robert Brayton, Ruchir Puri, Kanupriya Gulati, Sunil Khatri (eds.)
সাল:
2011
ভাষা:
english
ফাইল:
PDF, 3.73 MB
0 / 0
english, 2011
13
Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications

Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications

Patrick C. McGeer, Robert K. Brayton (auth.)
সাল:
1991
ভাষা:
english
ফাইল:
PDF, 6.19 MB
0 / 0
english, 1991
14
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis

William K. C. Lam, Robert K. Brayton (auth.)
সাল:
1994
ভাষা:
english
ফাইল:
PDF, 6.69 MB
0 / 0
english, 1994
15
Logic minimization algorithms for VLSI synthesis

Logic minimization algorithms for VLSI synthesis

Robert King Brayton, et al
সাল:
1984
ভাষা:
english
ফাইল:
PDF, 10.68 MB
0 / 0
english, 1984